$\forall$${\it es}$:ES, ${\it ff}$:FIFO, $i$:${\it ff}$.C. $\lambda$$e$.$\exists$$j$:${\it ff}$.C. (${\it ff}$.S($j$,$i$,$e$)) $\leftarrow\leftarrow$ ${\it ff}$.Sender($i$)$--$ $\lambda$$e$.${\it ff}$.R($i$,$e$)